Parallel OWL Reasoning: Merge Classification
نویسندگان
چکیده
Our research is motivated by the ubiquitous availability of multiprocessor computers and the observation that available Web Ontology Language (OWL) reasoners only make use of a single processor. This becomes rather frustrating for users working in ontology development, especially if their ontologies are complex and require long processing times using these OWL reasoners. We present a novel algorithm that uses a divide and conquer strategy for parallelizing OWL TBox classification, a key task in description logic reasoning. We discuss some interesting properties of our algorithm, e.g., its suitability for distributed reasoning, and present an empirical study using a set of benchmark ontologies, where a speedup of up to a factor of 4 has been observed when using 8 workers in parallel.
منابع مشابه
A Divide and Conquer Approach for Parallel Classification of OWL Ontologies
Description Logic (DL) describes knowledge using entities and relationships between them, and TBox classification is a core DL reasoning service. Over more than two decades many research efforts have been devoted to optimizing TBox classification. Those classification optimization algorithms have shown their pragmatic effectiveness for sequential processing. However, as concurrent computing bec...
متن کاملParallelizing Semantic Web Inference using the Actor Model
Description logics are decidable logics that enable knowledge engineers to represent classifications of objects tractably. The Web Ontology Language (OWL) [1] has a description logic fragment to give Semantic Web [2] applications access to powerful logic while retaining elegant computational properties, but most work on OWL reasoners has focused on improving performance using a single thread. W...
متن کاملParallel ABox Reasoning of EL Ontologies
In order to support the vision of the Semantic Web, ontology reasoning needs to be highly scalable and efficient. A natural way to achieve scalability and efficiency is to develop parallel ABox reasoning algorithms for tractable OWL 2 profiles to distribute the load between different computation units within a reasoning system. So far there have been some work on parallel ABox reasoning algorit...
متن کاملUsing OWL and Description Logics-Based Classification for Reasoning in Biomedical Applications
Anatomic reasoning tasks—such as inferring the consequences of penetrating injuries—is challenging because of the complexity and richness of anatomic knowledge. Applications that use ontologies for reasoning tend to be complex and difficult to maintain because the knowledge used to guide reasoning is embedded in the application code. Our hypothesis is that many reasoning tasks that use knowledg...
متن کاملScalability via Parallelization of OWL Reasoning
Practical scalability of reasoning is an important premise for the adoption of semantic technologies in a real-world setting. Many highly effective optimizations for reasoning with expressive OWL ontologies have been invented and implemented over the last decades. This paper describes our approach for concurrent computation of the nondeterministic choices inherent to the OWL tableau reasoning p...
متن کامل